Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 006C27 | Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
| 00A946 | Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] ; Rakesh Verma [États-Unis] | RPO Constraint Solving Is in NP |
| 00AA70 | Rakesh Verma [États-Unis] ; Shalitha Senanayake [États-Unis] | $$\overrightarrow {LR} ^2 $$: A Laboratory for Rapid Term Graph Rewriting |
| This area was generated with Dilib version V0.6.33. |  |